Integration of Photovoltaics in Buildings—Support Policies Addressing Technical and Formal Aspects

Integration of Photovoltaics in Buildings—Support Policies Addressing Technical and Formal Aspects

The integration of photovoltaic (PV) generators in the envelope of a building by means of building-integrated photovoltaics (BIPV) offers an immense potential, both in market development and the production of renewable electric energy that is close to the point of electricity consumption. In Germany, for example, by integrating photovoltaics in buildings up to 50% of the electricity demand can ...

Formal Specification and Integration of Distributed Security Policies

We propose in this paper the Security Policy Language (SePL), which is a formal language for capturing and integrating distributed security policies. The syntax of SePL includes several operators for the integration of policies and it is endowed with a denotational semantics that is a generic semantics, i.e., which is independent of any evaluation environment. We prove the completeness of SePL ...

Towards Automatic Integration of Or-BAC Security Policies Using Aspects

We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a set of Or-BAC security rules, our method derives corresponding AspectJ aspects. Derived aspects modify the behaviour of the underlying program so as to meet the policy. Then, these aspects are weaved into the target ...

Integration of Performance Aspects into Formal Methods for Concurrency

Management of Uncertainty in Environmental Problems: An Assessment of Technical Aspects and Policies

The monitoring of the environment for the purpose of arranging, verifying, and predicting the environmental variables that become extremely important for the quality of life is one of the most fruitful fields of research in the present day scientific scenario (Moussiopoulos et al, 1995; Roadknight et al, 1997; Power et al, 1997; Jung Kao et al, Cox). This chapter aims to show how innovative tec...